above (under) proof

См. также в других словарях:

• Proof spirit — Spirit Spir it, n. [OF. espirit, esperit, F. esprit, L. spiritus, from spirare to breathe, to blow. Cf. {Conspire}, {Expire}, {Esprit}, {Sprite}.] 1. Air set in motion by breathing; breath; hence, sometimes, life itself. [Obs.] All of spirit… …   The Collaborative International Dictionary of English

• Proof — • The establishment of a disputed or controverted matter by lawful means or arguments. Catholic Encyclopedia. Kevin Knight. 2006. Proof     Proof      …   Catholic encyclopedia

• Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… …   Wikipedia

• Proof test — A proof test is a test wherein a deliberately overpressured round is fired from a firearm in order to verify that the firearm is not defective and will not explode on firing. The firearm is inspected after the test, and if it is found to be in… …   Wikipedia

• proof — The effect of evidence; the establishment of a fact by evidence. New England Newspaper Pub. Co. v. Bonner, C.C.A.Mass., 77 F.2d 915, 916. Any fact or circumstance which leads the mind to the affirmative or negative of any proposition. The… …   Black's law dictionary

• Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… …   Wikipedia

• Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… …   Wikipedia

• Communion under Both Kinds — • Communion under one kind is the reception of the Sacrament of the Eucharist under the species or appearance of bread alone, or of wine alone, Communion under two or both kinds, the distinct reception under the two or both species, sub utraque… …   Catholic encyclopedia

• Legal burden of proof — This article is about the burden of proof in law. For other uses, see Burden of proof (disambiguation). The burden of proof (Latin: onus probandi) is the obligation to shift the accepted conclusion away from an oppositional opinion to one s own… …   Wikipedia

• Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… …   Wikipedia

• Non-interactive zero-knowledge proof — Non interactive zero knowledge proofs are a variant of zero knowledge proofs. Blum, Feldman, and Micali [1] showed that a common reference string shared between the prover and the verifier is enough to achieve computational zero knowledge without …   Wikipedia